First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
771	Practical Partition-Based Theorem Proving for Large Knowledge Bases Sheila McIlraith Bill MacCartney Knowledge Systems Lab Knowledge Systems Lab Computer Science Dept. Computer Science Dept. Stanford University Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2003-04-08 15:18:46 Combinatorics Automated theorem proving NP-complete problems Graph partition Partition Resolution First-order logic Tree decomposition Mathematics Graph theory Theoretical computer science
772	Pairwise Markov Logic Daan Fierens1 , Kristian Kersting23 , Jesse Davis1 , Jian Chen1 , and Martin Mladenov3 1 Dept. of Computer Science, KULeuven, Belgium Add to Reading List Source URL: www.first-mm.eu Language: English - Date: 2013-07-24 09:31:09 Model theory Predicate logic Formal languages Propositional calculus Markov logic network First-order logic Well-formed formula Atomic formula Interpretation Logic Mathematical logic Mathematics
773	Structure Learning with Hidden Data in Relational Domains - Opening the Closed-World Assumption Add to Reading List Source URL: first-mm.informatik.uni-freiburg.de Language: English - Date: 2013-07-24 09:27:48 Functions and mappings Model theory Ensemble learning Gradient boosting Function Expectation–maximization algorithm Supervised learning First-order logic Regression analysis Statistics Mathematics Machine learning
774	Structure Learning with Hidden Data in Relational Domains - Opening the Closed-World Assumption Add to Reading List Source URL: www.first-mm.eu Language: English - Date: 2013-07-24 09:27:48 Functions and mappings Model theory Ensemble learning Gradient boosting Function Expectation–maximization algorithm Supervised learning First-order logic Regression analysis Statistics Mathematics Machine learning
775	Structure Learning with Hidden Data in Relational Domains Tushar Khot, Sriraam Natarajan∗ , Kristian Kersting∗+ , Jude Shavlik University of Wisconsin-Madison, USA ∗ Wake Forest University School of Medicine, USA Add to Reading List Source URL: first-mm.informatik.uni-freiburg.de Language: English - Date: 2012-07-18 16:57:18 Model theory Statistical models Ensemble learning Gradient boosting Expectation–maximization algorithm Function First-order logic Regression analysis Supervised learning Statistics Mathematics Machine learning
776	Structure Learning with Hidden Data in Relational Domains Tushar Khot, Sriraam Natarajan∗ , Kristian Kersting∗+ , Jude Shavlik University of Wisconsin-Madison, USA ∗ Wake Forest University School of Medicine, USA Add to Reading List Source URL: www.first-mm.eu Language: English - Date: 2012-07-18 16:57:18 Model theory Statistical models Ensemble learning Gradient boosting Expectation–maximization algorithm Function First-order logic Regression analysis Supervised learning Statistics Mathematics Machine learning
777	Pairwise Markov Logic Daan Fierens1 , Kristian Kersting23 , Jesse Davis1 , Jian Chen1 , and Martin Mladenov3 1 Dept. of Computer Science, KULeuven, Belgium Add to Reading List Source URL: first-mm.informatik.uni-freiburg.de Language: English - Date: 2013-07-24 09:31:09 Model theory Predicate logic Formal languages Propositional calculus Markov logic network First-order logic Well-formed formula Atomic formula Interpretation Logic Mathematical logic Mathematics
778	Declarative Problem Solving and Nonmonotonic Reasoning Thomas Eiter Institute of Information Systems Vienna University of Technology [removed] Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:29 Mathematical logic Logic programming Non-classical logic Programming paradigms Stable model semantics First-order logic Knowledge representation and reasoning Expert system Non-monotonic logic Logic Science Reasoning
779	A Policy Language for Distributed Usage Control M. Hilty1 , A. Pretschner1 , D. Basin1 , C. Schaefer2 , and T. Walter2 1 Information Security, ETH Zurich, Switzerland Add to Reading List Source URL: www22.informatik.tu-muenchen.de Language: English - Date: 2012-05-22 10:26:04 Digital rights management Logical syntax Metalogic Mathematical logic ODRL Rights Expression Language XrML First-order logic Well-formed formula Logic Metadata Data
780	New York City College of Technology The City University of New York DEPARTMENT: Mathematics PREPARED BY: Professor Victoria Gitman, Professor Yalin Celikler, Professor Jonas Reitz, Add to Reading List Source URL: www.citytech.cuny.edu Language: English - Date: 2014-07-01 12:53:27 Model theory Boolean algebra Philosophical logic Mathematical proof First-order logic Function Propositional calculus Set theory Theorem Logic Mathematics Mathematical logic

UPDATE